auto trait T {}
